- верифицирующее условие
- (в технике доказательства правильности программ) verification condition
Русско-английский словарь по вычислительной технике и программированию . 2013.
Русско-английский словарь по вычислительной технике и программированию . 2013.